-
1 completeness theorem
The English-Russian dictionary general scientific > completeness theorem
-
2 completeness theorem
Большой англо-русский и русско-английский словарь > completeness theorem
-
3 completeness theorem
1) Математика: теорема полноты2) Программирование: теорема о полноте -
4 completeness theorem
English-Russian electronics dictionary > completeness theorem
-
5 completeness theorem
мат.English-Russian scientific dictionary > completeness theorem
-
6 Godel Completeness Theorem
Программирование: теорема Гёделя о полнотеУниверсальный англо-русский словарь > Godel Completeness Theorem
-
7 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
8 theorem
- theorem of total probability
- acoustical reciprocity theorem
- Ampere's circuital theorem
- average theorem
- Bayes theorem
- Birkhoff-von Neumann theorem
- Bloch theorem
- Brouwer fixed-point theorem
- Cayley theorem - Chinese residue theorem
- compensation theorem
- completeness theorem
- constant-flux-linkage theorem
- Coopmans theorem
- CPT-theorem
- Cramer theorem
- current sheet theorem
- Dilworth theorem
- divergence theorem
- Floquet theorem
- Foster's reactance theorem
- Fourier theorem
- fuzzy theorem
- fuzzy approximation theorem
- Gauss theorem
- Gauss-Markov theorem
- Gödel's theorem
- Gödel's incompleteness theorem
- Hecht-Nielsen theorem
- hierarchy theorem
- Kolmogorov theorem
- Kolmogorov-Arnold theorem
- limit theorem
- logic theorem
- Lüders-Pauli theorem
- Manley-Rowe theorem
- matching theorem
- McCulloh-Pitts theorem
- Mermin-Wagner theorem
- Nyquist's theorem
- Poincare-Birkhoff theorem
- Poynting's theorem
- reciprocity theorem
- Radon theorem
- Routh-Hurwitz theorem
- sampling theorem
- selection theorem
- semantic theorem
- Shannon theorem
- Slutsky's theorem
- Stokes theorem
- Stone theorem
- superposition theorem
- syntactical theorem
- Takens theorem
- Thevenin's theorem
- unicity theorem
- Weierstrass theorem
- Wiener-Khintchin theorem
- Zorn theorem -
9 completeness
1. полната; завершенность2. полнота; завершенность3. полнота; законченность; завершенностьСинонимический ряд:entirety (noun) allness; entire; entireness; entireties'; entirety; intactness; integrity; oneness; perfection; totalities'; totality; universality; wholeness -
10 functional completeness
-
11 simple completeness
-
12 absolute completeness
-
13 теорема полноты
Большой англо-русский и русско-английский словарь > теорема полноты
См. также в других словарях:
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Completeness — In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 … Wikipedia
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
Completeness of the real numbers — Intuitively, completeness implies that there are not any “gaps” (in Dedekind s terminology) or “missing points” in the real number line. This contrasts with the rational numbers, whose corresponding number line has a “gap” at each irrational… … Wikipedia
Completeness (statistics) — In statistics, completeness is a property of a statistic in relation to a model for a set of observed data. In essence, it is a condition which ensures that the parameters of the probability distribution representing the model can all be… … Wikipedia
Completeness of atomic initial sequents — In sequent calculus, the completeness of atomic initial sequents states that initial sequents A ⊢ A (where A is an arbitrary formula) can be derived from only atomic initial sequents p ⊢ p (where p is an atomic formula). This theorem plays a role … Wikipedia
completeness — Intuitively, a logical system is complete if everything that we want can be derived in it. Thus a formalization of logic is complete if all logically valid forms of argument are derivable in the system; a system designed to codify mathematical… … Philosophy dictionary
completeness — See completely. * * * Concept of the adequacy of a formal system that is employed both in proof theory and in model theory (see logic). In proof theory, a formal system is said to be syntactically complete if and only if every closed sentence in… … Universalium
Completeness (knowledge bases) — A knowledge base KB is complete if there is no formular α such that KB ⊭ α and KB ⊭ ¬α. Example of knowledge base with incomplete knowledge: KB := { A ∨ B } Then we have KB ⊭ A and KB ⊭ ¬A. In some cases, you can make a consistent knowledge… … Wikipedia
Turing completeness — For the usage of this term in the theory of relative computability by oracle machines, see Turing reduction. In computability theory, a system of data manipulation rules (such as an instruction set, a programming language, or a cellular… … Wikipedia